%%%
% Referências para a monografia
%%%


@mastersthesis {
  risco_tese,
  author = { Alexandre Junqueira and Altamiro Suzim },
  title = { Microprocessador {RISC CMOS} de 32 bits },
  school = { Universidade Federal do Rio Grande do Sul },
  year = { 1993 }
}


@inproceedings {
  ip_reuse,
  author = { Filippi, E. and Lavagno, L. and Licciardi, L. and Montanaro, A. and
             Paolini, M. and Passerone, R. and Sgroi, M. and
             Sangiovanni-Vincentelli, A. },
  title = { Intellectual property re-use in embedded system  co-design: an
            industrial case study },
  booktitle = { ISSS '98: Proceedings of the 11th international symposium on
                System synthesis },
  year = { 1998 },
  isbn = { 0-8186-8623-5 },
  pages = { 37--42 },
  location = { Hsinchu, Taiwan, China },
  publisher = { IEEE Computer Society },
  address = { Washington, DC, USA },
}
 
 
@article {
  vahid_spec_art,
  author = {Vahid, Frank and Gajski, Daniel D.},
  title = {Specification and Design of Embedded Hardware-Software Systems},
  journal = {IEEE Des. Test},
  volume = {12},
  number = {1},
  year = {2010},
  issn = {0740-7475},
  pages = {53--67},
  doi = {http://dx.doi.org/10.1109/54.350695},
  publisher = {IEEE Computer Society Press},
  address = {Los Alamitos, CA, USA},
}


@book {
  rt_uml,
  author = {Douglass, Bruce Powell},
  title = {Real-Time {UML}: Developing Efficient Objects for Embedded Systems},
  year = {1997},
  isbn = {0201325799},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  address = {Boston, MA, USA},
}


@article {
  mips_embedded,
  author = {S.B. Furber and D.A. Edwards and J.D. Garside},
  title = {{AMULET3}: A 100 {MIPS} Asynchronous Embedded Processor},
  journal ={International Conference on Computer Design},
  volume = {0},
  issn = {1063-6404},
  year = {2000},
  pages = {329},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2000.878304},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
}


@inproceedings {
  object_code_compression,
  author = {Yoshida, Yukihiro and Song, Bao-Yu and Okuhata, Hiroyuki and Onoye,
  Takao and Shirakawa, Isao},
  title = {An object code compression approach to embedded processors},
  booktitle = {ISLPED '97: Proceedings of the 1997 international symposium on
               Low  power electronics and design},
  year = {1997},
  isbn = {0-89791-903-3},
  pages = {265--268},
  location = {Monterey, California, United States},
  doi = {http://doi.acm.org/10.1145/263272.263349},
  publisher = {ACM},
  address = {New York, NY, USA},
}


@misc {
  qnx_site,
  title =      {QNX Neutrino Realtime {OS}},   
  year =   {1982},
  note = {QNX Software Systems. Disponível em:
  <\url{http://www.qnx.com/products/os/neutrino.html}>. Acesso
  em 20 Julho, 2010},
}


@misc {
  gcc_site,
  title = {GCC, the {GNU} Compiler Collection},   
  year = {1987},
  note = {Free Software Foundation. Disponível em:
  <\url{http://gcc.gnu.org/}>. Acesso
  em 23 de Novembro, 2010},
}

@misc {
  llvm_site,
  title = {{LLVM}: the {LLVM} Compiler Infrastructure},   
  year = {2002},
  note = {Disponível em: <\url{http://llvm.org/}>. Acesso
  em 23 de Novembro, 2010},
}

@misc {
  open_hardware,
  title = {{OHF}: The Open Hardware Foundation},   
  year = {2010},
  note = {Disponível em: <\url{http://openhardwarefoundation.org/}>. Acesso
  em 23 de Novembro, 2010},
}

@article {
  rt_linux,
  author = {Avalier Ayers and Yodaiken, Barabanov Victor},
  title = {Introducing Real-Time {Linux}},
  year = {1997},
  journal = {Linux J.},
  issn = {1075-3583},
  pages = {5},
  publisher = {Specialized Systems Consultants, Inc.},
  address = {Seattle, WA, USA},
}


@inproceedings {
  hwsw_parallelism,
  author = {Luis Carro and Antonio Suzim},
  title = {A {RISC} Architecture to explore {HW/SW} parallelism in
           {HW/SW} co-design},
  booktitle = {Proceedings of the 96' IEEE Symposium and Workshop on
               Engineering of Computer-Based Systems},
  year = {1996}
}


@article {
  llvm_main_art,
  author = {Chris Lattner and Vikram Adve},
  title = {{LLVM}: A Compilation Framework for Lifelong Program Analysis
and  Transformation},
  journal ={IEEE/ACM International Symposium on Code Generation and
            Optimization},
  volume = {0},
  isbn = {0-7695-2102-9},
  year = {2004},
  pages = {75},
  doi = {http://doi.ieeecomputersociety.org/10.1109/CGO.2004.1281665},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
}


@book {
  dragon_book,
  author =  {Alfred V. Aho and Monica S. Lam and Ravi Sethi and
      Jeffrey D. Ullman},
  title = {Compilers: principles, techniques, and tools},
  publisher = {Pearson/Addison Wesley},
  address = {Boston, MA, USA},
  edition = {Second},
  year =  {2007},
  isbn =  {0-321-48681-1},
}


@book {
  vahid_book,
  author = {Vahid, Frank and Givargis, Tony},
  title = {Embedded System Design: A Unified Hardware/Software Introduction},
  year = {2001},
  isbn = {0471386782},
  publisher = {John Wiley \& Sons, Inc.},
  address = {New York, NY, USA},
}


@article {
  algol_report,
  author =  {J. Backus},
  title = {Report on The Algorithmic Language {ALGOL} 60},
  journal = {Communications of the ACM},
  volume =  {2},
  year =  {1960},
  pages = {299--314},
  keyword = {language definition},
}


@inproceedings {
  webmips,
  author = {Branovic, Irina and Giorgi, Roberto and Martinelli, Enrico},
  title = {{WebMIPS}: a new web-based {MIPS} simulation environment for computer
  architecture education},
  booktitle = {WCAE '04: Proceedings of the 2004 workshop on Computer
  architecture education},
  year = {2004},
  pages = {19},
  location = {Munich, Germany},
  doi = {http://doi.acm.org/10.1145/1275571.1275596},
  publisher = {ACM},
  address = {New York, NY, USA},
}


@inproceedings {
  mars,
  author = {Vollmar, Kenneth and Sanderson, Pete},
  title = {{MARS}: an education-oriented {MIPS} assembly language simulator},
  booktitle = {SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on
  Computer science education},
  year = {2006},
  isbn = {1-59593-259-3},
  pages = {239--243},
  location = {Houston, Texas, USA},
  doi = {http://doi.acm.org/10.1145/1121341.1121415},
  publisher = {ACM},
  address = {New York, NY, USA},
}


@misc {
  computer_history,
  author = {C. Piguet},
  title = {Electronic Computer History: 1940-2000},
  note = {Centre Suisse d’Electronique et de Microtechnique SA.
              Maladière 71, 2000 Neuchâtel, Switzerland}
  year = {1995}
}


@InProceedings{
  llvm_llva,
  author    = {Vikram Adve and Chris Lattner and Michael Brukman and Anand
Shukla and Brian Gaeke},
  title     = "{LLVA: A Low-level Virtual Instruction Set Architecture}",
  booktitle = "{Proceedings of the 36th annual ACM/IEEE international
symposium on Microarchitecture (MICRO-36)}",
  address   = {San Diego, California},
  month     = {Dec},
  year      = {2003}
}

@book{sparcv8,
    author = {Sparc},
    day = {28},
    howpublished = {Paperback},
    isbn = {0130992275},
    keywords = {temp},
    month = {November},
    posted-at = {2008-12-17 03:38:04},
    priority = {2},
    publisher = {Prentice Hall PTR},
    title = {{The SPARC Architecture Manual Version 9}},
    url = {http://www.worldcat.org/isbn/0130992275},
    year = {1993}
}

@techreport{mips32,
 author = {Hennessy, John L. and Jouppi, Norman and Baskett, Forest and Gill,
John},
 title = {MIPS: a VLSI processor architecture},
 year = {1981},
 source =
{http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancst
rlh%3Astan%3ASTAN%2F%2FCSL-TR-81-223},
 publisher = {Stanford University},
 address = {Stanford, CA, USA},
}

@MISC{arm,
    author = {Leonid Ryzhyk},
    title = {The {ARM} Architecture},
    year = {2006}
}

@MISC{c,
    author = {Brian W. Kernighan and Dennis M. Ritchie},
    title = {The {C} programming Language},
    year = {1988}
}

@article{c++,
  location = {http://www.scientificcommons.org/42771484},
  title = {The {C++} Programming Language},
  author = {Bjarne Stroustrup},
  year = {1986},
  publisher = {Addison-Wesley},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.26.9545},
  institution = {CiteSeerX - Scientific Literature Digital Library and Search
Engine [http://citeseerx.ist.psu.edu/oai2] (United States)},
}

@inproceedings {
  comp_ubiqua,
  author = {Regina Araujo},
  title = {Computação Ubíqua: Princípios, Tecnologias e Desafios},
  booktitle = {XXI Simpósio Brasileiro de Redes de Computadores},
  year = {2003}
}

@article{green_computing,
 author = {Williams, Joseph and Curtis, Lewis},
 title = {Green: The New Computing Coat of Arms?},
 journal = {IT Professional},
 volume = {10},
 issue = {1},
 month = {January},
 year = {2008},
 issn = {1520-9202},
 pages = {12--16},
 numpages = {5},
 doi = {10.1109/MITP.2008.9},
 acmid = {1344282},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 keywords = {Green computing, power consumption, e-waste, recycling, IT
architecture, and green architecture.},
}

@book{iphone,
 author = {Mark, Dave and LaMarche, Jeff},
 title = {Beginning iPhone 3 Development: Exploring the iPhone SDK},
 year = {2009},
 isbn = {1430224592, 9781430224594},
 publisher = {Apress},
 address = {Berkely, CA, USA},
}

@book{patterson_book,
 author = {Hennessy, John L. and Patterson, David A.},
 title = {Computer Architecture: A Quantitative Approach},
 year = {2003},
 isbn = {1558607242},
 edition = {3},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@inproceedings{java_embedded_1,
 author = {Higuera-Toledano, M. Teresa and Issarny, Valerie},
 title = {Java Embedded Real-Time Systems: An Overview of Existing Solutions},
 booktitle = {Proceedings of the Third IEEE International Symposium on
Object-Oriented Real-Time Distributed Computing},
 series = {ISORC '00},
 year = {2000},
 isbn = {0-7695-0607-0},
 pages = {392--},
 acmid = {855495},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {Java, Real-Time, Embedded, Garbage Collection, Scheduling},
}

@article{java_embedded_2,
 author = {Clausen, Lars R\aeder and Schultz, Ulrik Pagh and Consel, Charles and
Muller, Gilles},
 title = {Java bytecode compression for low-end embedded systems},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {22},
 issue = {3},
 month = {May},
 year = {2000},
 issn = {0164-0925},
 pages = {471--489},
 numpages = {19},
 acmid = {353933},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Java bytecode, code compression, embedded systems},
}

@book{es_architecture_guide,
 author = {Noergaard, Tammy},
 title = {Embedded Systems Architecture: A Comprehensive Guide for Engineers and
Programmers},
 year = {2005},
 isbn = {0750677929},
 publisher = {Newnes},
}

@article{open_hardware_ex1,
 author = {Weiss, Aaron},
 title = {Open source hardware: freedom you can hold?},
 journal = {netWorker},
 volume = {12},
 issue = {3},
 month = {September},
 year = {2008},
 issn = {1091-3556},
 pages = {26--33},
 numpages = {8},
 acmid = {1435541},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{risc_processors,
 author = {Dandamudi, Sivarama P.},
 title = {Guide to RISC Processors: for Programmers and Engineers},
 year = {2005},
 isbn = {0387210172},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@book{x86_processor,
 author = {Shanley, Tom},
 title = {x86 Instruction Set Architecture},
 year = {2010},
 isbn = {0977087859, 9780977087853},
 publisher = {Mindshare Press},
}

@inproceedings{systemc,
 author = {Arnout, Guido},
 title = {{SystemC} standard},
 booktitle = {Proceedings of the 2000 Asia and South Pacific Design Automation
Conference},
 series = {ASP-DAC '00},
 year = {2000},
 isbn = {0-7803-5974-7},
 location = {Yokohama, Japan},
 pages = {573--578},
 numpages = {6},
 acmid = {368808},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{vhdl,
 author = {Ashenden, Peter J.},
 title = {The  Designer's Guide to VHDL},
 year = {2000},
 isbn = {1558602704},
 edition = {1st},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@inproceedings{llvm_mc,
 author = {Bruno Cardoso Lopes},
 title = {Object code emission and llvm-mc},
 booktitle = {LDM '09: {LLVM} developers meeting},
 year = {2009},
 location = {Cupertino, CA},
}

@book{assemblers,
 author = {Salomon, David},
 title = {Assemblers and loaders},
 year = {1992},
 isbn = {0-13-052564-2},
 publisher = {Ellis Horwood},
 address = {Upper Saddle River, NJ, USA},
}

@techreport{risco_montador,
 author = {Lima, Daniela},
 title = {Montador {RISCO}},
 year = {1993},
 publisher = {Universidade Federal do Rio Grande do Sul},
 address = {Porto Alegre, RS},
}

@techreport{spim,
 author = {Larus, James},
 title = {{SPIM S20: A MIPS R2000 simulator}},
 year = {2004},
 publisher = {University of Wisconsin},
 address = {Madison, WI, USA},
}

@misc {
  risco_site,
  author = {Vilela, Giuliano},
  title = {{RISCO} {LLVM} backend},   
  year = {2010},
  note = {Disponível em: <\url{http://code.google.com/p/risco-llvm}>.
    Acesso em 23 Dezembro, 2010},
}

@book{flex_bison,
 author = {Levine, John},
 title = {Flex \& Bison},
 year = {2009},
 isbn = {0596155972, 9780596155971},
 edition = {1st},
 publisher = {O'Reilly Media, Inc.},
}

@ARTICLE{elf_linux,
    author = {Hongjiu Lu},
    title = {{ELF}: From The Programmer's Perspective},
    journal = {NYNEX Science \& Technology Inc},
    year = {1995},
    pages = {95}
}

@book{jvm,
 author = {Lindholm, Tim and Yellin, Frank},
 title = {Java Virtual Machine Specification},
 year = {1999},
 isbn = {0201432943},
 edition = {2nd},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@book{linkers_loaders,
 author = {Levine, John R.},
 title = {Linkers and Loaders},
 year = {1999},
 isbn = {1558604960},
 edition = {1st},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@book{linux_programming_interface,
 author = {Kerrisk, Michael},
 title = {The Linux Programming Interface: A Linux and UNIX System Programming
Handbook},
 year = {2010},
 isbn = {1593272200, 9781593272203},
 edition = {1st},
 publisher = {No Starch Press},
 address = {San Francisco, CA, USA},
}

@techreport{llvm_tutorial,
 author = {Chris Lattner and Vikram Adve},
 title = {{The LLVM Compiler Framework and Infrastructure}},
 year = {2004},
 publisher = {LCPC Tutorial},
 address = {September 22, 2004},
}

@techreport{clang,
 author = {Chris Lattner},
 title = {{LLVM and Clang: Next Generation Compiler Technology}},
 year = {2008},
 publisher = {},
 address = {BSDCan 2008: The BSD Conference. Ottawa, Canada, May},
}

@inProceedings{comp_clang_gcc,
    author  = {Dominic Fandrey},
    title   = {{Clang/LLVM Maturity Report}},
    booktitle = {Proceedings of the Summer 2010 Research Seminar}
    school  = {{Computer Science Dept., University of Applied Sciences
Karlsruhe}},
    year    = {2010},
    address = {Moltkestr. 30, 76133 Karlsruhe - Germany},
    month   = {June},
  }

@mastersthesis {
  llvm_wcet,
  author = { Alexandre Machado },
  title = { Análise de Tempo de Execução em alto nível para Sistemas
          de Tempo Real utilizando-se o framework LLVM },
  school = { Universidade Federal de Santa Catarina },
  year = { 2008 }
}

@mastersthesis {
  llvm_java,
  author = { Eduardo Mello Cantu },
  title = { Geração de código para a máquina virtual LLVM a partir de
           programas escritos na linguagem de programação Java },
  school = { Universidade Federal de Santa Catarina },
  year = { 2008 }
}

@MastersThesis{llvm_thesis,
    author  = {Chris Lattner},
    title   = {LLVM: An Infrastructure for Multi-Stage Optimization},
    school  = {Computer Science Dept., University of Illinois at
Urbana-Champaign},
    year    = {2002},
    address = {Urbana, IL},
    month   = {Dec},
  }

@book{compilers_appel,
 author = {Appel, Andrew W. and Ginsburg, Maia},
 title = {{Modern Compiler Implementation in C}},
 year = {1998},
 isbn = {052158390X},
 publisher = {Press Syndicate of the University of Cambridge},
}

@inproceedings{llvm_backend,
 author = {Bruno Cardoso Lopes},
 title = {{Understanding and Writing an LLVM compiler backend}},
 booktitle = {ELC '09: Embedded Linux Conference},
 year = {2009},
 location = {San Francisco, CA},
}

@inproceedings{llvm_mips_arm,
 author = {Bruno Cardoso Lopes},
 title = {{The LLVM MIPS and ARM backends}},
 booktitle = {ELC '09: Embedded Linux Conference},
 year = {2009},
 location = {Grenoble, France},
}

@inproceedings{dag_selection,
 author = {Koes, David Ryan and Goldstein, Seth Copen},
 title = {Near-optimal instruction selection on dags},
 booktitle = {Proceedings of the 6th annual IEEE/ACM international symposium on
Code generation and optimization},
 series = {CGO '08},
 year = {2008},
 isbn = {978-1-59593-978-4},
 location = {Boston, MA, USA},
 pages = {45--54},
 numpages = {10},
 acmid = {1356065},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {instruction selection},
}

@book{asm_book,
 author = {Hyde, Randall},
 title = {The Art of Assembly Language},
 year = {2010},
 isbn = {1593272073, 9781593272074},
 edition = {2nd},
 publisher = {No Starch Press},
 address = {San Francisco, CA, USA},
}

@techreport{python_book,
 author = {Rossum, Guido},
 title = {Python reference manual},
 year = {1995},
 address = {CWI (Centre for Mathematics and Computer Science). Amsterdam, The
Netherlands},
}

@book{tdd_art,
    author = {Beck, Kent},
    day = {18},
    howpublished = {Paperback},
    isbn = {0321146530},
    keywords = {xp},
    month = {November},
    publisher = {Addison-Wesley Professional},
    title = {{Test Driven Development: By Example}},
    year = {2002}
}

@article{comp_test_1,
 author = {Bazzichi, F. and Spadafora, I.},
 title = {An Automatic Generator for Compiler Testing},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {8},
 issue = {4},
 month = {July},
 year = {2006},
 issn = {0098-5589},
 pages = {343--353},
 numpages = {11},
 acmid = {1313649},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
}

@inproceedings{comp_test_2,
 author = {Yoshikawa, Takahide and Shimura, Kouya and Ozawa, Toshihiro},
 title = {{Random Program Generator for Java JIT Compiler Test System}},
 booktitle = {Proceedings of the Third International Conference on Quality
Software},
 series = {QSIC '03},
 year = {2003},
 isbn = {0-7695-2015-4},
 pages = {20--},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings {
  uva,
  author = {Miguel Revilla, Shahriar Manzoor and Rujia Liu},
  title = {{Competitive Learning in Informatics: The UVA Online Judge
           Experience}},
  booktitle = {IOI '08: Proceedings of the Olympiads in Informatics},
  year = {2008},
  pages = {131-148},
  publisher = {Institute of Mathematics and Informatics},
  address = {Vilnius, Lithuania},
}

@inproceedings{code_density,
 author = {Lefurgy, Charles and Bird, Peter and Chen, I-Cheng and Mudge,
Trevor},
 title = {Improving code density using compression techniques},
 booktitle = {Proceedings of the 30th annual ACM/IEEE international symposium on
Microarchitecture},
 series = {MICRO 30},
 year = {1997},
 isbn = {0-8186-7977-8},
 location = {Research Triangle Park, North Carolina, United States},
 pages = {194--203},
 numpages = {10},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings{vmkit,
  author = {N. Geoffray and G. Thomas and J.Lawall and G. Muller and B.
Folliot},
  title = {{VMKit: a Substrate for Managed Runtime Environments}},
  booktitle = {Virtual Execution Environment Conference (VEE 2010)},
  publisher = {ACM Press},
  year = {2010},
  month = {March},
  address = {Pittsburgh, USA}
}

@article{wcet_survey,
 author = {Wilhelm, Reinhard and Engblom, Jakob and Ermedahl, Andreas and
Holsti, Niklas and Thesing, Stephan and Whalley, David and Bernat, Guillem and
Ferdinand, Christian and Heckmann, Reinhold and Mitra, Tulika and Mueller, Frank
and Puaut, Isabelle and Puschner, Peter and Staschulat, Jan and Stenstrom,
Per},
 title = {{The worst-case execution-time problem: overview of methods and survey
of tools}},
 journal = {ACM Trans. Embed. Comput. Syst.},
 volume = {7},
 issue = {3},
 month = {May},
 year = {2008},
 issn = {1539-9087},
 pages = {36:1--36:53},
 articleno = {36},
 numpages = {53},
 acmid = {1347389},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@INPROCEEDINGS{wcet_ait,
    author = {Reinhold Heckmann and Christian Ferdinand and Absint Angewandte
and Informatik Gmbh},
    title = {Worst-Case Execution Time Prediction by Static Program Analysis},
    booktitle = {In 18th International Parallel and Distributed Processing
Symposium (IPDPS 2004},
    year = {2004},
    pages = {26--30},
    publisher = {IEEE Computer Society}
}

@article{gcf_dom_tree,
 author = {Lengauer, Thomas and Tarjan, Robert Endre},
 title = {A fast algorithm for finding dominators in a flowgraph},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {1},
 issue = {1},
 month = {January},
 year = {1979},
 issn = {0164-0925},
 pages = {121--141},
 numpages = {21},
 acmid = {357071},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@book{natural_loop,
 author = {Muchnick, Steven S.},
 title = {Advanced compiler design and implementation},
 year = {1997},
 isbn = {1-55860-320-4},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@misc {
  sympy,
  title = {SYMPY: a Python Library for Symbolic Mathematics},   
  year = {2010},
  note = {Disponível em: <\url{http://sympy.org/}>. Acesso
  em 23 de Novembro, 2010},
}

@book{polimorfismo,
 author = {Sebesta, Robert W.},
 title = {Concepts of Programming Languages},
 year = {2003},
 isbn = {0321193628},
 edition = {6},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}
